Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
321	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-07-30 17:51:06 Operations research Compiler construction Formal languages Machine learning Dependency grammar Natural language parsing LL parser Integer programming Parsing Linear programming Context-free grammar Conditional random field
322	Postdoctoral Fellow in Joint Spatio-temporal Modelling The Department of Statistical & Actuarial Sciences at the University of Western Ontario invites applications for a Postdoctoral Fellow to develop and apply new tools Add to Reading List Source URL: www.crm.umontreal.ca Language: English - Date: 2016-07-28 13:56:51 Formal sciences Insurance Actuarial science Demography Statistics
323	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
324	AI Communications–258 IOS Press 247 Endurants and perdurants in directly Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:06:06 Ontology Information science Knowledge representation Technical communication Constructible universe Temporal parts Formal ontology Symmetry
325	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
326	Microsoft Word - Pelillo.doc Add to Reading List Source URL: svg.dmi.unict.it Language: English - Date: 2012-04-18 05:31:51 Formal sciences Cybernetics Algorithmic game theory Game theory Theory of computation Algorithmic Mathematical optimization Machine learning John von Neumann Theoretical computer science
327	Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian Add to Reading List Source URL: www.vex.net Language: English - Date: 2014-07-22 17:29:12 Formal methods University of Toronto Theoretical computer science Eric Hehner Program derivation Predicative programming Refinement Formal verification Department of Computer Science
328	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
329	Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg Add to Reading List Source URL: cse.iitk.ac.in Language: English - Date: 2016-07-15 06:06:20 Computer algebra Algebraic geometry Computer science Grbner basis Symbolic computation Computer-aided design Finite field Polynomial Algorithm Theoretical computer science Vladimir Gerdt
330	Syllabus for CSCI001 Inference, Models and Simulation for Complex Systems Fall 2011 Lectures: Tuesdays and Thursdays from 11:00am – 12:15pm in ECCR 131 Lecturer: Aaron Clauset Office: Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2011-08-22 11:54:58 Formal sciences Econometrics Algorithm Mathematical logic Theoretical computer science Statistics Regression analysis

UPDATE